3681. Relational Mathematics
پدیدآورنده: / Schmidt, Gunther
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
3682. Relational and Algebraic Methods in Computer Science
پدیدآورنده: \ Wolfram Kahl , Michael Winter, José N. Oliveira (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Algebraic logic -- Congresses.,Relation algebras -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,منطق جبری -- کنگره ها
رده :
QA
76
.
9
.
M35R4
2015
E-Book
,
3683. Relational and algebraic methods in computer science :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ;
3684. Relational and algebraic methods in computer science :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Congresses. ;
3685. Relational and algebraic methods in computer science :
پدیدآورنده: Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
رده :
QA76
.
9
.
M35
3686. Relational and algebraic methods in computer science :
پدیدآورنده: Wolfram Kahl, Timothy G. Griffin (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.
رده :
QA76
.
9
.
M35
R36
2012eb
3687. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده: ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
3688. Relational mathematics
پدیدآورنده: Schmidt, Gunther, 9391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,Mathematics ، Operations research
رده :
QA
76
.
9
.
M35S395
3689. Relational mathematics /
پدیدآورنده: Gunther Schmidt
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics,Operations research-- Mathematics
رده :
QA76
.
9
.
M35
S36
2011
3690. Relational methods in computer science
پدیدآورنده: C. Brink, W. Kahl, G. Schmidt )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming , Mathematics
رده :
QA
76
.
6
.
R442
1997
3691. Relational methods in computer science
پدیدآورنده: C. Brink, W. Kahl, G. Schmidt, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Aufsatzsammlung.,Computer science -- Mathematics.,Relation algebras.
رده :
QA76
.
9
.
M35
C375
1997
3692. Relations and Graphs :
پدیدآورنده: by Gunther Schmidt, Thomas Ströhlein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
M35
B948
1993
3693. Relations and graphs : discrete mathematics for computer scientists
پدیدآورنده: Schmidt, Gunther
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science - Mathematics
رده :
QA
76
.
9
.
M35
S34
1993
3694. Relaxation techniques for the simulation of VLSI circuits
پدیدآورنده: White, Jacob K.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Integrated circuits- Very large scale integration- Mathematical models,، Integrated circuits- Very large scale integration- Data processing,، Relaxation methods )Mathematics(
رده :
TK
7874
.
W48
1987
3695. Relaxation techniques for the simulation of VLSI circuits
پدیدآورنده: / by Jacob K. White and Alberto Sangiovanni-Vincentelli
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Integrated circuits - Very large scale integration - Mathematical models,Integrated circuits - Very large scale integration - Data processing,Relaxation methods (Mathematics)
رده :
TK
7874
.
W48
1986
3696. Reliability Theory and Models
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Reliability (Engineering) -- Congresses
رده :
E-Book
,
3697. Reliability of computer and communication networks : proceedings of a DIMACS workshop december 2-4, 1989
پدیدآورنده: Fred Roberts, Frank Hwang, Clyde Monma, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Reliability -- Congresses ، Computer networks
رده :
TK
5105
.
5
.
D587
1989
3698. Reliability theory and models. stochastic failure models, optimal maintenance policies, life testing, and structures
پدیدآورنده: edited by Mohamed S. Abdel-Hameed, Erhan Cشnlar, Joseph Quinn
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Reliability )Engineering(- Congresses
رده :
TA
16
.
R46
3699. Representations for Genetic and Evolutionary Algorithms
پدیدآورنده: by Franz Rothlauf.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Engineering mathematics.
3700. Resampling Methods
پدیدآورنده: by Phillip I. Good.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematical statistics.,Statistics.
